检索结果

期刊

出版年

关键词

Please wait a minute...

选择:

导出引用
EndNote Ris BibTeX

显示/隐藏图片

Select

1. 满足对应性属性的平台配置证明

徐明迪, 高杨, 高雪原, 张帆

计算机应用 2018, 38 (2): 337-342. DOI: 10.11772/j.issn.1001-9081.2017082168

摘要（331）

PDF （904KB）（383）

针对完整性报告协议（IRP）存在局部和全局攻击的安全隐患，对StatVerif进行语法扩展，增加了与完整性度量相关的构造算子和析构算子，通过对平台配置证明（PCA）安全进行分析，发现其存在的局部攻击和全局攻击，包括通过未授权命令对平台配置寄存器和存储度量日志进行篡改。对攻击者能力进行了建模，详细说明了攻击者如何通过构造子和析构子形成知识，进而对平台配置证明进行攻击。最后，在平台配置证明不满足对应性属性的情况下，从理论上证明了攻击序列的存在，并给出了平台配置证明满足局部可靠和全局可靠的条件，通过形式化验证工具Proverif证明了命题的合理性。

参考文献 | 相关文章 | 多维度评价

Select

2. 移动智能终端安全即时通信方法

张帆, 张聪, 赵泽茂, 徐明迪

计算机应用 2017, 37 (2): 402-407. DOI: 10.11772/j.issn.1001-9081.2017.02.0402

摘要（551）

PDF （1072KB）（558）

针对移动智能终端即时通信安全问题，提出了一种不可信互联网条件下移动智能终端安全通信方法。该方法设计并实现了一种在服务器和通信信道均不可信情况下的可信密钥协商协议。理论分析表明，所提出的密钥协商协议可以确保通信双方所协商会话密钥的真实性、新鲜性和机密性等诸多安全特性。密钥协商完成之后，基于透明加解密技术即可以确保即时通信双方语音/视频通信信息的机密性和完整性。真实移动互联网环境下的测试也表明该方法是高效和安全的，密钥协商可以在1~2 s完成，攻击者无法获取即时通信的明文信息。

参考文献 | 相关文章 | 多维度评价